A Non-coordinatizable Sectionally Complemented Modular Lattice with a Large Jónsson Four-frame
نویسندگان
چکیده
A sectionally complemented modular lattice L is coordinatizable if it is isomorphic to the lattice L(R) of all principal right ideals of a von Neumann regular (not necessarily unital) ring R. We say that L has a large 4-frame if it has a homogeneous sequence (a0, a1, a2, a3) such that the neutral ideal generated by a0 is L. Jónsson proved in 1962 that if L has a countable cofinal sequence and a large 4-frame, then it is coordinatizable; whether the cofinal sequence assumption could be dispensed with was left open. We solve this problem by finding a non-coordinatizable sectionally complemented modular lattice L with a large 4-frame; it has cardinality א1. Furthermore, L is an ideal in a complemented modular lattice L with a spanning 5-frame (in particular, L is coordinatizable). Our proof uses Banaschewski functions. A Banaschewski function on a bounded lattice L is an antitone self-map of L that picks a complement for each element of L. In an earlier paper, we proved that every countable complemented modular lattice has a Banaschewski function. We prove that there exists a unit-regular ring R of cardinality א1 and index of nilpotence 3 such that L(R) has no Banaschewski function.
منابع مشابه
Coordinatization of lattices by regular rings without unit and Banaschewski functions
A Banaschewski function on a bounded lattice L is an antitone self-map of L that picks a complement for each element of L. We prove a set of results that include the following: • Every countable complemented modular lattice has a Banaschewski function with Boolean range, the latter being unique up to isomorphism. • Every (not necessarily unital) countable von Neumann regular ring R has a map ε ...
متن کاملVon Neumann coordinatization is not first-order
A lattice L is coordinatizable, if it is isomorphic to the lattice L(R) of principal right ideals of some von Neumann regular ring R. This forces L to be complemented modular. All known sufficient conditions for coordinatizability, due first to J. von Neumann, then to B. Jónsson, are first-order. Nevertheless, we prove that coordinatizability of lattices is not first-order, by finding a non-coo...
متن کاملThe Complexity of Von Neumann Coordinatization; 2-distributive Lattices
A complemented modular lattice L is coordinatizable, if it is isomorphic to the lattice L(R) of principal right ideals of some von Neumann regular ring R. All known sufficient conditions for coordinatizability, due first to J. von Neumann, then to B. Jónsson, are first-order. Nevertheless, we prove that coordinatizability of complemented modular lattices is not firstorder, even for countable 2-...
متن کاملCongruence-preserving Extensions of Finite Lattices to Sectionally Complemented Lattices
In 1962, the authors proved that every finite distributive lattice can be represented as the congruence lattice of a finite sectionally complemented lattice. In 1992, M. Tischendorf verified that every finite lattice has a congruence-preserving extension to an atomistic lattice. In this paper, we bring these two results together. We prove that every finite lattice has a congruence-preserving ex...
متن کاملOn lattice of basic z-ideals
For an f-ring with bounded inversion property, we show that , the set of all basic z-ideals of , partially ordered by inclusion is a bounded distributive lattice. Also, whenever is a semiprimitive ring, , the set of all basic -ideals of , partially ordered by inclusion is a bounded distributive lattice. Next, for an f-ring with bounded inversion property, we prove that is a complemented...
متن کامل